top = 0;
bottom = top + trough_height;
- /* Scale slider half extends over the trough edge */
- if (GTK_IS_SCALE (range))
- {
- top -= min_slider_size / 2;
- bottom += min_slider_size / 2;
- }
-
/* slider height is the fraction (page_size /
* total_adjustment_range) times the trough height in pixels
*/
left = 0;
right = left + trough_width;
- /* Scale slider half extends over the trough edge */
- if (GTK_IS_SCALE (range))
- {
- left -= min_slider_size / 2;
- right += min_slider_size / 2;
- }
-
/* slider width is the fraction (page_size /
* total_adjustment_range) times the trough width in pixels
*/